George Low

Results: 147



#Item
41Data types / Type theory / Procedural programming languages / C++ / Program analysis / Type system / Pointer / C++ classes / ALGOL 68 / Programming language theory / Software engineering / Computing

Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2007-02-02 07:49:52
42Climate change mitigation / Shorepower / Low-carbon economy / Carbon offset / Greenhouse gas / Emissions trading / Fuel cell / Environmental impact of aviation / Climate change policy / Environment / Technology

Transport Research Arena 2014, Paris Estimating the Operational Effect of a Bunker Levy: The Case of Handymax Bulk Carriers *George N. Kapetanisa, Konstantinos G. Gkonisa, Harilaos N. Psaraftisb *

Add to Reading List

Source URL: www.lrf-ntua-coe.gr

Language: English - Date: 2013-12-18 07:03:14
43Airline / Low-cost carrier / Ryanair / Southwest Airlines / JetBlue Airways / American Airlines / The Southwest Effect / Malaysia Airlines / Frequent-flyer program / Aviation / Transport / Low-cost airlines

Airline Fares, Mergers and Cabotage Kenneth Button School of Public Policy George Mason University Airlines are cash registers

Add to Reading List

Source URL: www.trforum.org

Language: English - Date: 2014-03-10 15:04:53
44Applied mathematics / Analysis of algorithms / Probabilistic complexity theory / Randomized algorithm / Random graph / Expander graph / Connectivity / Distributed data storage / Networks / Theoretical computer science / Mathematics / Graph theory

Low Randomness Rumor Spreading via Hashing George Giakkoupis∗1 , Thomas Sauerwald2 , He Sun2,3 , and Philipp Woelfel†1 1 Computer Science Department, University of Calgary, Canada

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2012-01-19 06:36:06
45Historical geology / Instrumental temperature record / Global warming / Climate / Kriging / Temperature record / Climate history / Atmospheric sciences / Climatology

Response to Gleisner et al (2015): Recent global warming hiatus dominated by low latitude temperature trends in surface and troposphere data Kevin Cowtan, University of York.  Peter Jacobs, George Mason Universi

Add to Reading List

Source URL: www-users.york.ac.uk

Language: English - Date: 2015-02-17 04:55:50
46Science / Information retrieval / Psychometrics / Multivariate statistics / Educational psychology / Collaborative filtering / Recommender system / Factor analysis / Low-rank approximation / Statistics / Information science / Collective intelligence

Feature-based factorized Bilinear Similarity Model for Cold-Start Top-n Item Recommendation∗ Mohit Sharma †, Jiayu Zhou ‡, Junling Hu‡ , George Karypis† Abstract Recommending new items to existing users has rem

Add to Reading List

Source URL: glaros.dtc.umn.edu

Language: English - Date: 2015-04-14 08:16:45
47Wireless networking / IEEE 802 / Bluetooth / Working groups / ANT / Wi-Fi / ZigBee / Headset / Bluetooth stack / Technology / Telecommunications engineering / Wireless

ZigBee RF4CE and Bluetooth Low Energy George Santayana, a last century philosopher figured it out already: “He who does not learn from history is doomed to repeat it.” This quotation jumped in my mind reading about s

Add to Reading List

Source URL: www.greenpeak.com

Language: English - Date: 2015-03-25 12:23:57
48Economics / Individual Savings Account / Annuity / Income tax / National Savings and Investments / Life annuity / Personal allowance / Federal Insurance Contributions Act tax / Taxation in the United Kingdom / Investment / Financial economics / Finance

18 March[removed]Budget 2015 Summary Chancellor George Osborne’s final Budget before this year’s General Election was made against the background of economic growth, low inflation and low oil prices. Though there will

Add to Reading List

Source URL: www.cii.co.uk

Language: English - Date: 2015-03-18 12:54:42
49Biology / Stag beetle / Beetle / Environment Protection and Biodiversity Conservation Act / Conservation biology / Threatened Species Protection Act / Department of Sustainability /  Environment /  Water /  Population and Communities / George Bornemissza / Lissotes latidens / Conservation in Australia / Environment of Australia / Environment

BORNEMISSZAS STAG BEETLE Hoplogonus bornemisszai Status Endangered (Tasmanian Threatened Species Protection Act 1995), due to its restricted distribution, low population densities and loss of habitat; CRITICALLY ENDANGER

Add to Reading List

Source URL: www.fpa.tas.gov.au

Language: English - Date: 2013-06-06 00:26:15
50Low-carbon economy / Renewable energy policy / Renewable energy commercialization / Environmental technology / Energy policy / Sustainable energy / Feed-in tariff / Climate Investment Funds / Renewable Energy and Energy Efficiency Partnership / Energy / Renewable energy / Environment

UNFCCC report on Investment in Renewable Energy and Energy Efficiency Alice Hohler, Chris Greenwood,George Hunt Methodology All figures in this report, unless otherwise credited, are derived from the New Energy Finance D

Add to Reading List

Source URL: unfccc.int

Language: English - Date: 2008-11-28 07:08:02
UPDATE